En la Jerarquia de Chomsky, una gramática irrestricta es una Gramatica a cuyas producciones no se le aplica ninguna restricción.

Las gramáticas irrestrictas pueden generar todos los lenguajes que pueden ser aceptados por una máquina de Turing, por lo que juegan un papel importante en la teoría de computabilidad.